ea0ae6a5fd9f19960611014d0044acc9f429bae8,sre/io.janusproject/io.janusproject.tests/src/io/janusproject/tests/bugs/BugS546.java,KillWaiterAgent,agentKilledBehaviorUnit,#AgentKilled#,201

Before Change


			}

			private void agentKilledBehaviorUnit(AgentKilled occurrence) {
				if (this.agents.contains(occurrence.getSource().getUUID())) {
					if (LOG) {
						System.out.println("AGENT KILLED: " + occurrence.getSource().getUUID());
					}

After Change


				}
				final boolean b;
				final int size1;
				synchronized (this.presentedAgents) {
					b = this.presentedAgents.remove(occurrence.getSource().getUUID());
					size1 = this.presentedAgents.size();
				}
				if (b) {